Stallings automata for free-times-abelian groups: intersections and index

نویسندگان

چکیده

We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products and abelian groups: after introducing enriched automata (i.e., with extra labels), we obtain an explicit bijection between a certain type such automata, which - it happens in group is computable finitely generated case. This approach provides neat geometric description (even non generated) intersections within this non-Howson family. In particular, give solution subgroup intersection problem finite index problem, providing recursive bases transversals respectively.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Finite Automata Presentable Abelian Groups

We give new examples of FA presentable torsion-free abelian groups. Namely, for every n > 2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group (Z,+) in which every nontrivial cyclic subgroup is not FA recognizable.

متن کامل

non-divisibility for abelian groups

Throughout all groups are abelian. We say a group G is n-divisible if nG = G. If G has no non-zero n-divisible subgroups for all n>1 then we say that G is absolutely non-divisible. In the study of class C consisting   all absolutely non-divisible groups such as G, we come across the sub groups T_p(G) = the sum of all p-divisible subgroups and rad_p(G) = the intersection of all p^nG. The proper...

متن کامل

Intersections and joins of free groups

Let F be a free group. If H and K are subgroups of F , we let H ∨K = 〈H,K〉 denote the join of H and K. We study the relationship between the rank of H ∩K and that of H ∨K for a pair of finitely generated subgroups H and K of F . In particular, we have the following particular case of the Hanna Neumann Conjecture, which has also been obtained by L. Louder [6] using his machinery for folding grap...

متن کامل

Vehicle index estimation for signalized intersections using sample travel times

0968-090X/$ see front matter 2013 Elsevier Ltd. All rights reserved. http://dx.doi.org/10.1016/j.trc.2013.06.018 q This paper was presented at the 20th International Symposium on Transportation & Traffic Theory. It therefore also appears in the complete pro of the 20th ISTTT in [Procedia – Social and Behavioral Sciences, vol. 80C (2013), pp. 473–490]. ⇑ Corresponding author. Tel.: +1 518 276 80...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Publicacions Matematiques

سال: 2022

ISSN: ['2014-4350', '0214-1493']

DOI: https://doi.org/10.5565/publmat6622209